Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
521	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
522	Asking for Help Using Inverse Semantics Stefanie Tellex1,2 , Ross A. Knepper1,3 , Adrian Li4 , Daniela Rus3 , and Nicholas Roy3 Abstract—Robots inevitably fail, often without the ability to recover autonomously. We dem Add to Reading List Source URL: www.roboticsproceedings.org Language: English - Date: 2014-08-18 07:52:25 Robot Human–robot interaction Entailment Mobile robot Symbol Logic Deduction Robotics
523	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
524	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 On the nonexistence of dimension reduction for `22 metrics Avner Magen∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:05:36 Metric geometry Abstract algebra Topology Mathematical structures Linear algebra Embedding Combinatory logic Metric space Metric Mathematics Algebra Geometry
525	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
526	Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function Substitution Μ operator Mathematics Mathematical logic Logic
527	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
528	JanuaryStanford Verification Group Report No. 15 Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2005-01-06 03:20:52 Algebraic structures Algebraic logic Boolean algebra Differential equation Universal algebra Unification Variety Boolean algebras canonically defined Heyting algebra Mathematics Abstract algebra Algebra
529	1 Securing Class Initialization in Java-like Languages Willard Rafnsson, Keiko Nakata, and Andrei Sabelfeld Abstract—Language-based information-flow security is concerned with specifying and enforcing security policie Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-08-22 04:05:38 C programming language Deduction Java programming language Initialization Final Objective-C Entailment Struct Data-flow analysis Software engineering Computer programming Logic
530	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-30 05:29:39 Petri net Models of computation Symbol Model theory

UPDATE